#ifndef USERPROG_PROCESS_H
#define USERPROG_PROCESS_H

#include "threads/thread.h"

tid_t process_execute (const char *file_name);
int  process_wait (tid_t);
void process_exit (void);
void process_activate (void);
bool process_grow_stack (void);
bool install_page (void *, void *, bool writable);

#endif /* userprog/process.h */
